A number is an immutable mathematical object. Uses of numbers include counting, annotating entities to distinguish them, and measuring the magnitudes of quantities. Avail natively supports integers and two distinct precisions of floating-point approximations of real numbers. Integers are discrete, and thus excel at counting and labeling. Real numbers form a continuum, and are therefore suitable for taking measurements.